DocFlow: workflow based requirements elicitation

DocFlow: analysis, monitoring, and optimization of Web documents and services

DocFlow builds on the Active XML formalism for data exchange across peers on the Web, developed by one of the participating teams. The project aims at achieving convergence of data and workflow management over the Web through the concept of distributed active documents. We believe that this opens new perspectives for distributed e-management in the context of a global economy. Data exchange, we...

Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification

The work concerns automatic generation of logical specifications from requirements models. Logical specifications obtained in such a way can be subjected to formal verification using deductive reasoning. Formal verification concerns correctness of a model behaviour. Reliability of the requirements engineering is essential for all phases of software development processes. Deductive reasoning is ...

Eliciting Requirements for Identifying Workflow Categories

Interface Model Elicitation from Textual Scenarios

During the stage of system requirements gathering, model elicitation is aimed at identifying in textual scenarios model elements that are relevant for building a first version of models that will be further exploited in a model-driven engineering method. When multiple elements should be identified from multiple interrelated conceptual models, the complexity increases. Three method levels are su...

Web-based Collaborative Security Requirements Elicitation

This empirical study aims at evaluating a structured but informal security requirements engineering method supported by a collaborative Web-based tool. The method allows stakeholders to contribute to the risk analysis and security requirements of elicitation of a software or system in a structured manner that allows traceability between vulnerabilities and mitigations. The tool’s collaborative ...